$\vdash$  $\forall$$u$:$\mathbb{B}$. ($u$ $\wedge_{b}$ tt) = $u$